Specifying the Remote Controlling of Valvesin an Explosion Test
نویسنده
چکیده
We present parts of the speciication of a program to remote control and monitor diierent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of diierent user groups that are responsible for testing and certifying explosion proof electrical equipment in PTB. Our approach is based on the formal object-oriented speciication language Troll. We describe the advantages of the use of the formal method in our project.
منابع مشابه
Specifying the Remote Controlling of
We present parts of the speciication of a program to remote control and monitor diierent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of diierent user groups that are respons...
متن کاملSpecifying the Remote Control of Valves in an Explosion Test Environment
We present parts of the speci cation of a program to remote control and monitor di erent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of di erent user groups that are respons...
متن کاملEffect of Remote Back-Up Protection System Failure on the Optimum Routine Test Time Interval of Power System Protection
Appropriate operation of protection system is one of the effective factors to have a desirable reliability in power systems, which vitally needs routine test of protection system. Precise determination of optimum routine test time interval (ORTTI) plays a vital role in predicting the maintenance costs of protection system. In the most previous studies, ORTTI has been determined while remote bac...
متن کاملبررسی عملکرد ستون‌های بتنی مقاوم سازی شده با صفحات FRP تحت اثر بارگذاری انفجاری
With the increase in the number of terrorist incidents worldwide, the resistance of structures, especially concrete structures, to explosions and their effectiveness under blast loads is of great importance. Over the past few decades, these terrorist attacks have left a lot of financial and human life damage around the world. The result of this event, have been Feeling the more need engineers f...
متن کاملDynamics Behavior investigation of Concrete Gravity Dams by Deep Underwater Explosion Method
In this research, a deep explosion in the reservoir of a concrete gravity dam has simulated by the coupled Euler –Lagrange finite element method. The validity of explosion hydrodynamics pressure has compared with Taylor empirical formula. The surface sloshing not considered due to deep explosion. The dam and its retained water excited by detonating large explosive charges in deep water upstrea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997